Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

Bor-Yuh Evan Chang visited the team from June to August 2013, as part of his collaboration with Xavier Rival.

Internships

Abdellatif Atki is a student at École Polytechnique (Palaiseau, France). He performed his M1 internship from April 2013 to July 2013 under the supervision of Antoine Miné on the Two variables per inequality abstract domain [27] .

Matthias Bry is a student at École Polytechnique (Palaiseau, France). He performed his M1 internship from April 2013 to July 2013 under the supervision of Antoine Miné on analysis of concurrent programs [28] .

Huisong Li is a master student at the Institute of Software, at the Chinese Accademy of Sciences (Beijing, China) and is doing a research internship under the supervision of Xavier Rival.

Visits to International Teams

Xavier Rival visited the ROSAEC Team in Seoul National University (team of Professor Kwangkeun Yi).